This is to certify that: Jeffrey Martin has completed CX102: Computer Programming and Complex Systems CX202: Complex Systems Modeling and Networks

Source URL: bisonjeff.weebly.com

Analyzing Lock Contention in Multithreaded Applications Nathan R. Tallent John M. Mellor-Crummey Allan Porterfield

Source URL: www.hpctoolkit.org

• Concurrency control
• Computing
• Computer programming
• Software engineering
• Spinlock
• Lock
• Monitor
• Readerswriter lock
• Linearizability
• Synchronization
• Mutual exclusion
• Thread

Eclipse Plugin for TinyOS Debugging Semester Thesis Silvan Nellen

Source URL: disco.ethz.ch

• Software
• Computer programming
• Computing
• Embedded operating systems
• TinyOS
• Debuggers
• Debugging
• Wireless sensor network
• NesC
• Embedded systems
• JTAG
• Breakpoint

All-Termination(SCP) Aaron Turon Northeastern University (joint work with Pete Manolios)

Source URL: www.mpi-sws.org

• Declarative programming
• Software engineering
• Computer programming
• Functional programming
• Lisp
• Perl
• XS
• Cons
• Recursion

William D. Gropp Thomas M. Siebel Chair in Computer Science Department of Computer Science Director, Parallel Computing Institute Chief Scientist, National Center for Supercomputing Applications University of Illinois at

Source URL: wgropp.cs.illinois.edu

• Computing
• Computer programming
• Computer science
• Parallel computing
• Bill Gropp
• Application programming interfaces
• Message Passing Interface
• Portable
• Extensible Toolkit for Scientific Computation
• Fellows of the American Association for the Advancement of Science
• MPICH
• Sidney Fernbach Award
• Jack Dongarra

Microsoft Word - POLICY_REVIEW_OF_MSDI_v2.doc

Source URL: docs.msl.mt.gov

• Software
• Computing
• Computer programming
• GIO
• GTK+
• Framework Programmes for Research and Technological Development
• Geographic information system

Server-driven Outbound Web-application Sandboxing FP7-ICT, Project Nohttps://www.websand.eu Deliverable D4.1

Source URL: websand.eu

• Software engineering
• Computing
• Software architecture
• Computer access control
• Scripting languages
• Cross-platform software
• JavaScript
• Web programming
• Mashup
• HTTP cookie
• Web API
• Same-origin policy

Introduction to the GNU MPFR Library Vincent LEFÈVRE AriC, INRIA Grenoble – Rhône-Alpes / LIP, ENS-Lyon GdT AriC,

Source URL: www.vinc17.org

• Computer arithmetic
• Computing
• Software
• Computer programming
• GNU MPFR
• Paul Zimmermann
• GNU Multiple Precision Arithmetic Library
• Rounding
• Fixed-point arithmetic
• GNU Compiler Collection
• IEEE floating point
• Double-precision floating-point format

Go to: Registration is now open! http://www.aauw.org/what-we-do/stem-education/tech-savvy/#schedule

Source URL: honolulu-hi.aauw.net

• Software engineering
• Education
• Computer programming
• University of Hawaii
• American Association of University Women
• Women and education
• University of Hawaii at Hilo
• Scratch
• Hawaii

Single-Pass List Partitioning Leonor Frias ∗ Universitat Polit`ecnica de Catalunya Dep. de Llenguatges i Sistemes Inform`atics Jordi Girona Salgado, Barcelona, Spain

Source URL: algo2.iti.kit.edu

• Mathematics
• Computational complexity theory
• Dynamic programming
• Discrete mathematics
• Combinatorics
• Analysis of algorithms
• Algorithm
• Mathematical logic
• Theoretical computer science
• Time complexity
• FisherYates shuffle
• Longest increasing subsequence